Online activities 6 โ€“ 12 October
ests.wordpress.comยท34m
๐Ÿ—๏ธConstructive Mathematics
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.orgยท5h
๐Ÿ’ปLocal LLMs
A very short, very blunt, book note
logicmatters.netยท15h
โš”๏ธLean Theorem
Toy Binary Decision Diagrams
philipzucker.comยท1d
๐ŸงฎAlgebraic Datatypes
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.comยท6hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
On This Day in Math - October 6
pballew.blogspot.comยท1dยท
๐Ÿ“Interval Arithmetic
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.eduยท15h
โฐTime Crystals
The Analystโ€™s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.comยท4d
โš”๏ธLean Theorem
MathArena Apex: Unconquered Final-Answer Problems
matharena.aiยท2dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Causal Abstractions, Categorically Unified
arxiv.orgยท5h
โœจEffect Handlers
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.comยท22hยท
Discuss: Hacker News
๐ŸงฎTheoretical Computer Science
How to Perform Effective Agentic Context Engineering
towardsdatascience.comยท2h
โš™๏ธProof Engineering
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.orgยท5h
๐ŸŽฏPerformance Proofs
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.comยท2dยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Atomic and Saturated Models
functor.networkยท3dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.toยท17hยท
Discuss: DEV
๐ŸŒณTrie Structures
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.ioยท17hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท5h
โšกProof Automation
Briefly Noted: Summer Reading
thepsmiths.comยท12hยท
Discuss: Hacker News
๐Ÿ”ฌLean
Let's Prove Leftpad
github.comยท1hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code